$\forall$$r$:$\mathbb{Q}$. ($\mid$$r$$\mid$ $\ast$ $\mid$$r$$\mid$) = ($r$ $\ast$ $r$) $\in$ $\mathbb{Q}$